Checking Process Stability with the Variogram
نویسندگان
چکیده
منابع مشابه
Bounded Reachability Checking with Process Semantics
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems. More specifically, we translate the bounded reachability problem for 1-safe Petri nets into constrained Boolean circuit satisfiability. We consider three semantics: process, step, and interleaving semantics. We show t...
متن کاملFair Model Checking with Process Counter Abstraction
Parameterized systems are characterized by the presence of a large (or even unbounded) number of behaviorally similar processes, and they often appear in distributed/concurrent systems. A common state space abstraction for checking parameterized systems involves not keeping track of process identifiers by grouping behaviorally similar processes. Such an abstraction, while useful, conflicts with...
متن کاملVariogram based Robust Extraction of Process Variation Model
Aggressive device scaling has made it imperative to account for process variations in the design flow. A robust model of process variations is an essential requirement for any meaningful variation aware design analysis and optimization. Unfortunately the previous approaches on extracting spatial correlation function assume ergodicity and isotropy while estimating the inter-die(global) component...
متن کاملModel-checking process equivalences
Process equivalences are formal methods that relate programs and system which, informally, behave in the same way. Since there is no unique notion of what it means for two dynamic systems to display the same behaviour there are a multitude of formal process equivalences, ranging from bisimulation to trace equivalence, categorised in the linear-time branching-time spectrum. We present a logical ...
متن کاملChecking Business Process Evolution
Business processes support the modeling and the implementation of software as workflows of local and inter-process activities. Taking over structuring and composition, evolution has become a central concern in software development. We advocate it should be taken into account as soon as the modeling of business processes, which can thereafter be made executable using process engines or model-to-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Quality Engineering
سال: 2005
ISSN: 0898-2112,1532-4222
DOI: 10.1081/qen-200056505